-
1 системи сигнализации на судне
Naval: vessel control alarmsУниверсальный русско-английский словарь > системи сигнализации на судне
-
2 системи
systems -
3 системи от ключови думи
keyword systemkeyword systemsБългарски-Angleščina политехнически речник > системи от ключови думи
-
4 незалежність системи аксіом
НЕЗАЛЕЖНІСТЬ СИСТЕМИ АКСІОМ - властивість, що характеризує відношення між аксіомами в певній системі аксіом. Незалежною називають таку аксіому, яка логічно не виводиться за правилами виводу, прийнятими в даній системі, з інших аксіом. Якщо у системі жодна з аксіом не виводиться з усіх інших, то незалежною називають і саму систему аксіом. Коли якась аксіома виводиться з інших, її можна вилучати з системи аксіом без скорочення множини висловлювань, істинність яких має доводитися. Н.с.а. є їхньою важливою ознакою. В окремих випадках вона дає змогу, не породжуючи суперечностей, замінити незалежну аксіому на її заперечення і створити істотно нову наукову теорію Н. апр., заміна аксіоми про паралельність прямих у геометрії Евкліда на її заперечення привела до створення Лобачевським принципово нової геометрії.Філософський енциклопедичний словник > незалежність системи аксіом
-
5 повнота системи аксіом
див. повнота у логіціФілософський енциклопедичний словник > повнота системи аксіом
-
6 встановлення системи судів
Українсько-англійський юридичний словник > встановлення системи судів
-
7 встановлення судової системи
Українсько-англійський юридичний словник > встановлення судової системи
-
8 демократизація виборчої системи
Українсько-англійський юридичний словник > демократизація виборчої системи
-
9 ефективність правової системи
Українсько-англійський юридичний словник > ефективність правової системи
-
10 ефективність судової системи
Українсько-англійський юридичний словник > ефективність судової системи
-
11 засновники правової системи
Українсько-англійський юридичний словник > засновники правової системи
-
12 зміна системи
-
13 зміна системи оподаткування
Українсько-англійський юридичний словник > зміна системи оподаткування
-
14 ієрархічність судової системи
Українсько-англійський юридичний словник > ієрархічність судової системи
-
15 реформа виборчої системи
election reform, electoral reform, reform of the electoral systemУкраїнсько-англійський юридичний словник > реформа виборчої системи
-
16 реформа пенітенціарної системи
penitentiary reform, prison reformУкраїнсько-англійський юридичний словник > реформа пенітенціарної системи
-
17 реформа правової системи
Українсько-англійський юридичний словник > реформа правової системи
-
18 розбухання пенітенціарної системи
Українсько-англійський юридичний словник > розбухання пенітенціарної системи
-
19 службовець пенітенціарної системи
Українсько-англійський юридичний словник > службовець пенітенціарної системи
-
20 функціонування правової системи
Українсько-англійський юридичний словник > функціонування правової системи
См. также в других словарях:
колоїди, колоїдні системи — коллоиды, коллоидные системы colloid systems *Kolloidsysteme мікрогетерогенні дисперсні системи (проміжний стан між справжніми розчинами й грубодисперсними системами), що складаються з дуже подрібнених частинок (від 10–6–10–7 до 10–9 м),… … Гірничий енциклопедичний словник
активні системи розробки — активные системы разработки active development systems *Abbauverfahren, aktive Abbaumethoden, aktive Bearbeitung – cистеми розробки із співвідношенням нагнітальних і видобувних свердловин 1:3 і більше, які забезпечують підвищення темпів розробки… … Гірничий енциклопедичний словник
Аудит системи якості — документована діяльність, що проводиться для отримання шляхом перевірення та оцінювання об’єктивних доказів того, що елементи системи якості, котрі застосовуються, відповідають їй, що вона розвивається, документується та ефективно… … Управління якістю
верхній рівень Національної депозитарної системи — Національний депозитарій і депозитарії, що ведуть рахунки для зберігачів та здійснюють кліринг і розрахунки за угодами щодо цінних паперів … Глосарій термінів фондового ринку
нижній рівень Національної депозитарної системи — це зберігачі, які ведуть рахунки власників цінних паперів, та реєстратори власників іменних цінних паперів … Глосарій термінів фондового ринку
абонéнт комп’ютерної системи — абонéнт мережі = абонéнт … Тлумачний словник з інформатики та інформаційних систем для економістів
Коефіцієнт опору повного (системи) — коэффициент полного сопротивления (системы) total resistance factor (of system) *Gesamtwiderstandkoeffizient (des Systems) – безрозмірний коефіцієнт, який відповідає втраті напору hf . За допомогою цього коефіцієнта втрати напору виражаються… … Гірничий енциклопедичний словник
сак — системи автоматичного керування … Гірничий енциклопедичний словник
сау — системи автоматичного управління … Гірничий енциклопедичний словник
25.040.40 — Вимірювання та керування технологічними процесами ГОСТ 4.301 85 СПКП. Установки, приборы, устройства, блоки, модули функциональные агрегатных средств контроля и регулирования. Номенклатура показателей ГОСТ 12.2.064 81 ССБТ. Органы управления… … Покажчик національних стандартів
33.170 — Теле та радіомовлення ГОСТ 11515 91 Каналы и тракты звукового вещания. Основные параметры качества. Методы измерений. Взамен ГОСТ 11515 75, ГОСТ 23107 78, ГОСТ 22504 83 ГОСТ 18471 83 Тракт передачи изображения вещательного телевидения. Звенья… … Покажчик національних стандартів